Logic Control - PDFSEARCH.IO - Document Search Engine

Logic Control
Results: 840

#	Item
51	A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999 Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Concurrency control Edsger W. Dijkstra Monitor Hoare logic Event Semaphore Concurrent computing Pascal XC Flag semaphore ALGOL 68 Unix signal
52	research supported by NSF Switched Systems: Mixing Logic with Differential Equations João P. Hespanha Add to Reading List Source URL: www.ece.ucsb.edu Language: English - Date: 2013-10-30 21:30:34 Network performance Data transmission Flow control Telecommunications engineering Transmission Control Protocol Acknowledgement Network packet Transmission time Computer network TCP congestion control Packet loss
53	Outsourcing the Routing Control Logic: Better Internet Routing Based on SDN Principles Vasileios Kotronis ETH Zurich Zurich, Switzerland Add to Reading List Source URL: conferences.sigcomm.org Language: English - Date: 2012-10-19 18:32:37 Routing Computer networking Internet Standards Internet protocols Border Gateway Protocol IP hijacking Router Autonomous system Control plane IP forwarding GNU Zebra
54	Tutorial Proposal on Probabilistic Fuzzy Systems Venue: 2014 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2013), Beijing, China Date: July 6 – 11, 2014 Add to Reading List Source URL: www.conference123.org Language: English - Date: 2014-07-16 23:21:57 Artificial intelligence Fuzzy logic Computational intelligence Fuzzy set Fuzzy control system Soft computing IEEE Transactions on Fuzzy Systems IEEE Computational Intelligence Society Type-2 fuzzy sets and systems Neuro-fuzzy
55	EUNITE Case Studies EUNITE, the European Network on Intelligent Technologies for Smart Adaptive Systems started January 1st, 2001. Its targets were to join forces within the area of Intelligent Technologies for better un Add to Reading List Source URL: www.eunite.org Language: English - Date: 2014-12-13 03:39:42 Control theory Artificial intelligence Fuzzy logic Control engineering Fuzzy control system Intelligent control Neuro-fuzzy Adaptive control Fuzzy set Control system Artificial neural network PID controller
56	SVoNt – Version Control of OWL Ontologies on the Concept Level Markus Luczak-R¨osch, G¨okhan Coskun, Adrian Paschke, Mario Rothe, Robert Tolksdorf {luczak,coskun,paschke,mrothe,tolk}@inf.fu-berlin.de Abstract: Like i Add to Reading List Source URL: subs.emis.de Language: English - Date: 2012-04-16 06:06:44 Ontology Information science Semantic Web Technical communication Knowledge engineering Apache Subversion Web Ontology Language Description logic Upper ontology Draft:Outline of ontologies
57	Leveraging Parallel Data Processing Frameworks with Verified Lifting Maaz Bin Safeer Ahmad Alvin Cheung Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2016-07-02 20:30:42 Formal methods MapReduce Loop invariant Postcondition Apache Hadoop Control flow Hoare logic Generator Predicate transformer semantics KeY Infinite loop Const
58	IFSA Newsletter Vol. 3, No. 2, September 2006 In this issue: PLENARY SPEECH OF JANUSZ KACPRZYK AT WCCI’06 Add to Reading List Source URL: isdlab.ie.ntnu.edu.tw Language: English - Date: 2016-04-12 22:54:43 Fuzzy logic Artificial intelligence Soft computing Systems scientists Logic in computer science Lotfi A. Zadeh Computing with words and perceptions Fuzzy set Computational intelligence Fuzzy mathematics IEEE Computational Intelligence Society Fuzzy control system
59	Partial Evaluation for Program Analysis Daniel Damian Progress Report (revised version) Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Logic in computer science Programming language implementation Compiler optimizations Theoretical computer science Programming language semantics Compiler Semantics Denotational semantics Abstract interpretation Static program analysis Programming language Control flow analysis
60	DATA PRODUCT SPECIFICATION FOR SPIKE TEST Version 1-01 Document Control Number05-23 Add to Reading List Source URL: oceanobservatories.org Language: English - Date: 2015-11-16 09:14:59 Theoretical computer science Algorithm Mathematical logic Data

UPDATE